016004 Software Engineering for Service-oriented Overlay Computers

نویسندگان

  • Rui Correia
  • Reiko Heckel
چکیده

Integrated Project funded by the European Community under the " Information Society Technologies " Programme (2002—2006) Executive Summary In this document, we present model transformation techniques used in a methodology for the evolution of software towards new architectural styles. This methodology is being implemented to support the migration to Service-Oriented Architectures but is not restricted to that purpose. In our approach, we represent source code as graphs. These are compliant to a metamodel based on the source and target architectural styles. Prior to its representation, the source code is subject to a preparatory step of semi-automatic code annotation according to the contribution of each of its parts in the target architectural style. This enables the use of graph transformation rules on metamodel instances to describe the transformation. Using this technique, it is possible to automate the execution of the transformation at model level. This document first describes the overall methodology and then focuses on its model transformation part. We also discuss the implementation of a prototype based on an existing transformation tool and report on a small example.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

SENSORIA: Engineering for Service-Oriented Overlay Computers

Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities (called services) that can be described, published and categorised, and dynamically discovered and assembled, resulting in massively distributed, interoperable, evolvable systems. The IST-FET Integrated Project SENSORIA is developing a novel comprehensive approach to the eng...

متن کامل

Metamodeling the Requirements of Web Systems

A detailed requirements analysis is best practice in the development of traditional software. Conversely, the importance of requirements engineering for Web systems is still underestimated. Only few Web methodologies provide an approach for the elicitation of requirements and techniques for their specification. This paper focuses on specification through requirements models of Web systems. We p...

متن کامل

A Model-Checking Approach for Service Component Architectures

We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being defined within the SENSORIA project. We introduce a methodology for encoding patterns of typical service interaction with UML state machines and present a strategy for checking SRML specifications of service compositi...

متن کامل

Semi-Automatic Management of Web-Based Software Services

Service-Oriented Computing (SOC) offers the promise of modular software, called services, produced and consumed by networked stakeholders, to be combined, ordered and executed to create higher-level functionality. The modularity fosters growth and adaptivity, which caters to the changing needs of its environment. Currently, there are problems in organizing these modular software components beca...

متن کامل

Modelsaz: An Object-Oriented Computer-Aided Modeling Environment

Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007